Variable Types in Programming Languages